$e$ = ${\it e'}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$eqof(((${\it es}$.2).1))($e$,${\it e'}$)